時相行動論理 (TLA)
temporal logic of actions
Temporal logic of actions - Wikipedia
TLA+ - Wikipedia
PlusCal - Wikipedia
形式手法
である model 檢査の一つ
時相論理
であり
動的論理
でもある